System Description: MBASE, an Open Mathematical Knowledge Base
نویسندگان
چکیده
In this paper we describe the MBase system, a web-based, distributed mathematical knowledge base. This system is a mathematical service in MathWeb that ooers a universal repository of formalized mathematics where the formal representation allows semantics-based retrieval of distributed mathematical facts.
منابع مشابه
Conceptual Modeling Challenges for Model-Based Architecting and Software Engineering (MBASE)
The difference between failure and success in developing a software-intensive system can often be traced to the presence or absence of clashes among the models used to define the system’s product, process, property, and success characteristics. (Here, we use a simplified version of one of Webster’s definitions of “model” a description or analogy used to help visualize something. We include anal...
متن کاملDescription of personal knowledge management as a base for knowledge management.
Abstract Personal knowledge management has been developed in various fields such as knowledge management, personal information management, communication psychology and philosophy of science, management, communications, and so a lot of research to a few experimental or approved about (PKM) is a research that the original data is just a few pages. So research in this area seems to be very focuse...
متن کاملMatrix formulation of a universal microbial transcript profiling system
DNA chips and microarrays are used to profile gene transcription. Unfortunately, the initial fabrication cost for a chip and the reagent costs to amplify thousands of open reading frames for a microarray are over $100K for a typical 4 Mbase bacterial genome. To avoid these expensive steps, a matrix formulation of a universal hybrid chip-microarray approach to transcript profiling is demonstrate...
متن کاملTitle: Description Logics Description Logics
KR: knowledge representation. DLs: Description Logics; a family of logic-based KR languages for representing knowledge through assertions about concepts, individuals and relationships among them. (Logic-based) Semantics: a way to interpret any statement in a language; logic-based semantics interprets such a statement using operations in mathematical logic. Interpretation: a mathematical structu...
متن کاملKnowledge Based System for the Evaluation of Safety and the Prevention of Railway Accidents
This paper describes a contribution to improving the usual safety analysis methods used in the certification of railway transport systems. The methodology is based on the complementary and simultaneous use of knowledge acquisition and machine learning. The purpose is contributed to the generation of new accident scenarios that could help experts to conclude on the safe character of a new rail t...
متن کامل